Trump ordena que las banderas ondeen a media asta tras el tiroteo en Texas